detail_path=$1

cat /public/home/jwli/workSpace/yongkang/JACM-24March-labs/24.0404/bench_env_ltlfsyn_OneStep/$detail_path
echo '------------------------'
cat /public/home/jwli/workSpace/yongkang/JACM-24March-labs/24.0404/bench_env_ltlfsyn_SATtrace/$detail_path
